這篇論文介紹了 BullShark，一個基於有向無環圖（DAG）的異步 Byzantine Atomic Broadcast 協議，專為常見的同步情況進行了優化。以下是論文的重點：

1. BullShark 的特點 (第1頁)

BullShark 是第一個基於 DAG 的異步 Byzantine Atomic Broadcast 協議，專為常見的同步情況進行了優化。
與其他異步 DAG-based 協議不同，BullShark 提供了一個實用的低延遲快速路徑，利用同步時段，減少了複雜的視圖更改和視圖同步機制的需要。
BullShark 在保持其前身 DAG-Rider 所有期望屬性的同時實現了這一點，包括最優的攤銷通信複雜性、公平性、異步活躍性，並且即使在量子對手面前也能保證安全性。

2. BullShark 的優勢

BullShark 保留了 DAG-Rider 的所有理論屬性，並引入了一個快速路徑，利用常見情況下的同步網絡條件。
BullShark 在同步時只需要 2 輪往返，比 DAG-Rider 提高了 75% 的性能，並在異步執行中保持 6 輪往返的預期延遲。
BullShark 克服了 DAG-based 協議的一個實際限制，允許在保持公平性的同時進行垃圾收集。

3. BullShark 的技術挑戰

BullShark 需要解決一些理論和實踐上的挑戰，包括在同步時段保證確定性活躍性的問題，以及在異步惡劣情況下不犧牲延遲的問題。
BullShark 引入了兩種類型的投票——穩定狀態和回退，以減少同步時段的延遲。
BullShark 不需要視圖更改或視圖同步機制來克服有缺陷或緩慅的領導者。

4. BullShark 的實踐挑戰

BullShark 需要解決一些實踐上的挑戰，例如所有先前的理論解決方案都需要無界內存來保存整個 DAG。
BullShark 保證在同步時段提供及時的公平性，這意味著在 GST 之後，所有誠實方的消息都會在有限的時間內進入 DAG，並在垃圾收集之前。

5. BullShark 的性能

BullShark 高效，例如，在 50 個參與方的部署中，每秒可達到 125,000 次交易，延遲為 2 秒。
與優化異步性的最先進技術相比，BullShark 的延遲速度提高了 50%。

這裡提供了 BullShark 協議的詳細介紹，它是一個高效、低延遲的基於 DAG 的 Byzantine Atomic Broadcast 協議，特別適用於常見的同步情況。

參考資料

Bullshark: DAG BFT Protocols Made Practical